A utility to build HTML pages from text files